weighted{-}sum($p$;$F$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\Sigma$0 $\leq$ $i$ $<$ $\parallel$$p$$\parallel$. ($F$($i$)) $\ast$ $p$[$i$]